Improving conveyor weigher verification accuracy with reference weights without technological process shutdown
نویسندگان
چکیده
منابع مشابه
Automated Verification With and Without Reference Behavior
Automated verification of software built from data abstraction is rendered difficult by reference behavior both in the client code and implementation code. In the client code, object encapsulation through component development in modern programming languages remains a problem, because clients can violate the abstraction boundary by accessing object internals through aliased object references. I...
متن کاملProcess Reference Guides - Support for Improving Software Processes in Alignment with Reference Models and Standards
Software process improvement in small organizations in alignment with reference models or standards remains complicated. In this paper, we enhance an approach for software process improvement and introduce the concept of process reference guides as a way to explicitly map reference models/standards and potential solutions in order to systematize and facilitate the process definition in improvem...
متن کاملImproving the Consistency Checking Process by Reusing Formal Verification Knowledge
At an iterative and incremental requirements capture stage, each iteration implies identifying new requirements, checking their with the current functional specification of the system, and, in many cases, modifying this global specification to satisfy them. In a totally formalized environment, these verifications are usually done applying a model checking algorithm which entails the wellknown e...
متن کاملImproving Word Accuracy with Ga
A novel type of feature extraction for automatic speech recognition is investigated. Two-dimensional Gabor functions, with varying extents and tuned to different rates and directions of spectro-temporal modulation, are applied as filters to a spectro-temporal representation provided by mel spectra. The use of these functions is motivated by findings in neurophysiology and psychoacoustics. Data-...
متن کاملA programmable CMOS bandgap voltage reference circuit using current conveyor
This paper presents a new structure of a bandgap circuit which can be programmed to get any desired output voltage. Unlike conventional bandgap circuits, the proposed bandgap circuit uses MOS transistors operating in subthreshold region instead of bipolar transistors to generate PTAT and IPTAT currents. Use of the current conveyor makes the circuit capable of being operated at lower supply volt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2021
ISSN: 1742-6588,1742-6596
DOI: 10.1088/1742-6596/1843/1/012010